一个负的有序关联半群（S,≤,.,）称为单的,设S是交换关联半群,如果S的所有滤子是{1}和S本身,则S是单的当且仅当S的所有＊-同余是IS和S&#......

刻画拟正则＊-半群S上的＊-同余.同时证明映射ψ：ρ （-）Ptrρ为拟正则＊-半群S的＊-同余格C＊（S）到S的投影集P（S）的所有正规等价关系组成的格∑（P）上的......